def get_ident() -> int: ...
